Abductive Question-Answer System ( $$\mathsf {AQAS}$$ ) for Classical Propositional Logic

Chlebowski, Szymon; Gajda, Andrzej

doi:10.1007/978-3-319-59692-1_1

Search citation statements

Order By: Relevance

Paper Sections

Select...

Other Erotetic Calculi1

Notions Related To Knowledge Harnessing1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

2021

Publication Types

Select...

Book1

Article1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(2 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Last but not least, the method of Socratic proofs has been applied in formal modelling of abductive reasoning (cf. Urbański & Wiśniewski 2015, Chlebowski & Gajda 2017. As it has been shown in (Wiśniewski 2018), in many cases it is possible to ›extract‹ multiple conclusion-entailment, the basic semantic concept by means of which question evocation and erotetic implication are defined, from the consequence relation of the underlying logic of d-wffs.…”

Section: Other Erotetic Calculimentioning

confidence: 99%

Asking and Answering. Rivalling Approaches to Interrogative Methods

2021

View full text Add to dashboard Cite

show abstract

Section: Other Erotetic Calculimentioning

confidence: 99%

Asking and Answering. Rivalling Approaches to Interrogative Methods

2021

View full text Add to dashboard Cite

show abstract

“…Abductive reasoning can be used to extract information compatible with the (rule-based) KB [29] from a query. This option does not allow obtaining information already contained in F , and it would be in principle more general.…”

Section: Notions Related To Knowledge Harnessingmentioning

confidence: 99%

A model of three-way decisions for Knowledge Harnessing

Aranda-Corral

Borrego-Díaz

Galán-Páez

2020

International Journal of Approximate Reasoning

View full text Add to dashboard Cite

The present work introduces the Knowledge Harnessing, by showing its theoretical foundations as well as a three-way decision model to deal with it. The problem poses how to extract valid information about a specific context from conflicting or uncertain information received by a system (or agent). With this aim, forgetting variable operators are used to both characterize the problem from the logical point of view and provide a theoretical solution as an acceptance-rejection problem. Since the formalization is semantic in nature (it considers the models of the knowledge base that admit the extracted knowledge), general bounds are provided for acceptance-rejection evaluation on boundary region.

show abstract

Abductive Question-Answer System ( $$\mathsf {AQAS}$$ ) for Classical Propositional Logic

Cited by 2 publications

References 19 publications

Asking and Answering. Rivalling Approaches to Interrogative Methods

Asking and Answering. Rivalling Approaches to Interrogative Methods

A model of three-way decisions for Knowledge Harnessing

Contact Info

Product

Resources

About