A paraconsistent approach to actions in informationally complex environments

DOI10.1007/s10472-019-09627-9zbMath1471.03058OpenAlexW2947662349MaRDI QIDQ2330540

Łukasz Białek, Andrzej Szałas, Barbara Dunin-Kȩplicz

Publication date: 22 October 2019

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-019-09627-9

zbMATH Keywords

action languagesbelief basesparaconsistent reasoningdoxastic reasoningparacomplete reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17) Paraconsistent logics (03B53)

Uses Software

• GOLOG
• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Nonmonotonic causal theories
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• TALplanner: A temporal logic based forward chaining planner
• Inconsistency tolerance.
• Reasoning robots. The art and science of programming robotic agents
• STRIPS: A new approach to the application of theorem proving to problem solving
• Logical foundations and complexity of 4QL, a query language with unrestricted negation
• On the Minimality of Stable Models
• Rule-Based Reasoning with Belief Structures
• Paraconsistent Logic Programs with Four-Valued Rough Sets
• GOLOG: A logic programming language for dynamic domains
• Planning and reacting in uncertain and dynamic environments
• How an agent might think
• Stability, Supportedness, Minimality and Kleene Answer Set Programs
• Modeling and Reasoning with Paraconsistent Rough Sets
• Inconsistency Tolerance
• Fuzzy sets
• FLUX: A logic programming method for reasoning agents