Analysis of Relationships Between Problems of Finding “Interesting” Consequences and Constraints Satisfaction for SEMS Knowledge Bases in the Framework of N-tuple Algebra-Reference-Cited by-同舟云学术

Analysis of Relationships Between Problems of Finding “Interesting” Consequences and Constraints Satisfaction for SEMS Knowledge Bases in the Framework of N-tuple Algebra

Published:2022 Issue: Volume: Page:13-26
ISSN:2198-4182
Container-title:Studies in Systems, Decision and Control
language:
Short-container-title:

Author:

Fridman Alexander Ya.,Kulik Boris A.

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-97004-8_2

Reference17 articles.

1. Shalak, V.I.: Analysis vs deduction. Logical Stud. 24(1), 26–45 (2018). (in Russian)

2. Kulik, B., Fridman, A.: Methods for Finding Consequences with Specified Properties. In: Kovalev S.M., Kuznetsov S.O., Panov A.I. (eds.) Artificial Intelligence. RCAI 2021. Lecture Notes in Computer Science, vol. 12948, pp. 67–80. Springer, Cham (2021)

3. Vagin, V.N., et al.: Reliable and plausible inference in intelligent systems. In: Vagin, V.N., Pospelov, D.A. (eds.), 2nd edn., FIZMATLIT, Moscow (2008). (in Russian)

4. Mendelson, E.: Introduction to Mathematical Logic, 6th edn. Taylor & Francis Group, Milton Park, Oxfordshire (2015)

5. Kulik, B.A.: A Logic Programming System Based on Cortege Algebra. J. Comp. Syst. Sci. Int. 33(2), 159–170 (1995)

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Structure of a Model of Situational Control for Intelligent Robots Containing SEMS Knowledge Bases, by Means of Coordinating Contexts of a Specialized Language of Their Communication;Studies in Systems, Decision and Control;2024