Behavioral Specification Theories: an Algebraic Taxonomy

09/23/2020
by   Uli Fahrenberg, et al.
0

We develop a taxonomy of different behavioral specification theories and expose their algebraic properties. We start by clarifying what precisely constitutes a behavioral specification theory and then introduce logical and structural operations and develop the resulting algebraic properties. In order to motivate our developments, we give plenty of examples of behavioral specification theories with different operations.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

02/17/2020

Graded Algebraic Theories

We provide graded extensions of algebraic theories and Lawvere theories ...
04/15/2019

Predicting human decisions with behavioral theories and machine learning

Behavioral decision theories aim to explain human behavior. Can they hel...
05/11/2021

A Variety Theorem for Relational Universal Algebra

We develop an analogue of universal algebra in which generating symbols ...
07/25/2021

New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework

To design and engineer ethical and legal reasoners and responsible syste...
02/22/2021

Polymorphic Automorphisms and the Picard Group

We investigate the concept of definable, or inner, automorphism in the l...
07/12/2018

A Generic Framework for Implicate Generation Modulo Theories

The clausal logical consequences of a formula are called its implicates....
05/06/2020

Beware the Normative Fallacy

Behavioral research can provide important insights for SE practices. But...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.